$\forall$${\it da}$:$k$:Knd fp$\rightarrow$ Type, $l$:IdLnk. Normal(${\it da}$) $\Rightarrow$ Normal(dt($l$;${\it da}$))